Fernando Oreja: ค้นหาบนเว็บ Z-Library

ประตูสู่ความรู้และวัฒนธรรมสำหรับคุณ

Don't use scam websites

ตัวกรองที่กำลังใช้อยู่

ตรงกับคำค้นหาทุกประการ

ตรงกับคำค้นหาทุกประการ

1

Graph Transformation: 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Graph Transformation: 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings

Springer International Publishing

Esther Guerra, Fernando Orejas

ปี:

2019

ภาษา:

english

ไฟล์:

PDF, 11.94 MB

0 / 0

english, 2019

2

Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Christos H. Papadimitriou (auth.), Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.)

ปี:

2001

ภาษา:

english

ไฟล์:

PDF, 5.24 MB

0 / 0

english, 2001

3

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Ross Anderson (auth.), Dimitra Giannakopoulou, Fernando Orejas (eds.)

ปี:

2011

ภาษา:

english

ไฟล์:

PDF, 6.81 MB

0 / 0

english, 2011

4

Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Reiko Heckel, Sebastian Thöne (auth.), José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)

ปี:

2005

ภาษา:

english

ไฟล์:

PDF, 2.83 MB

0 / 0

english, 2005

5

Der Logos der Sophistik und die Philosophie. Untersuchung zur Eigentümlichkeit der sophistischen Rationalitätsausübung

Der Logos der Sophistik und die Philosophie. Untersuchung zur Eigentümlichkeit der sophistischen Rationalitätsausübung

ปี:

2022

ภาษา:

german

ไฟล์:

PDF, 1.86 MB

0 / 0

german, 2022

6

Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Christos H. Papadimitriou (auth.), Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.)

ปี:

2001

ภาษา:

english

ไฟล์:

PDF, 10.21 MB

0 / 0

english, 2001

7

Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Reiko Heckel, Sebastian Thöne (auth.), José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)

ปี:

2005

ภาษา:

english

ไฟล์:

PDF, 3.94 MB

0 / 0

english, 2005

8

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Paolo Baldan, Andrea Corradini (auth.), Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (eds.)

ปี:

2005

ภาษา:

english

ไฟล์:

PDF, 5.14 MB

0 / 5.0

english, 2005

9

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Paolo Baldan, Andrea Corradini (auth.), Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (eds.)

ปี:

2005

ภาษา:

english

ไฟล์:

PDF, 4.30 MB

0 / 0

english, 2005

10

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop Caldes de Malavella, Spain, October 26–30, 1992 Selected Papers

Springer-Verlag Berlin Heidelberg

Joseph A. Goguen, Razvan Diaconescu (auth.), Hartmut Ehrig, Fernando Orejas (eds.)

ปี:

1994

ภาษา:

english

ไฟล์:

DJVU, 3.84 MB

0 / 0

english, 1994

11

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Josep Díaz, Fernando Orejas (eds.)

ปี:

1989

ภาษา:

english

ไฟล์:

DJVU, 3.99 MB

0 / 0

english, 1989

12

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Ross Anderson (auth.), Dimitra Giannakopoulou, Fernando Orejas (eds.)

ปี:

2011

ภาษา:

english

ไฟล์:

PDF, 7.15 MB

0 / 0

english, 2011

13

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Ross Anderson (auth.), Dimitra Giannakopoulou, Fernando Orejas (eds.)

ปี:

2011

ภาษา:

english

ไฟล์:

PDF, 8.61 MB

0 / 0

english, 2011

14

Algebraic system specification and development: A survey and annotated bibliography

Algebraic system specification and development: A survey and annotated bibliography

Springer-Verlag Berlin Heidelberg

Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne, Fernando Orejas, Donald Sannella (eds.)

ปี:

1991

ภาษา:

english

ไฟล์:

DJVU, 954 KB

0 / 0

english, 1991

15

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Josep Díaz, Fernando Orejas (eds.)

ปี:

1989

ภาษา:

english

ไฟล์:

PDF, 9.54 MB

0 / 0

english, 1989